Merge pull request #1838 from chandnich/rename
authorAntonio Niño Díaz <[email protected]>
Wed, 27 Feb 2019 11:15:12 +0000 (11:15 +0000)
committerGitHub <[email protected]>
Wed, 27 Feb 2019 11:15:12 +0000 (11:15 +0000)
Apply official names to SGI-Clark Platforms


Trivial merge